“Laudatio” significa “alabanza”, y en este marco universitario de UPSA, no solo supone alabar y reconocer los méritos de aquel a quien se le quiere rendir homenaje en el acto de su despedida, como profesor en activo de la Facultad de Teología. Para mi significa además una expresión de agradecimiento y de cariño a quien ha compartido conmigo tareas docentes, intereses litúrgico-sacramentales, expectativas renovadoras e investigadoras, voluntad comprometida en el “buen hacer” lectivo “ad intra” y de publicidad significativa “ad extra”. (...) Quiero decirte, querido J.María, que he asumido con gusto esta sencilla tarea de la “laudatio”, a quien ha sido colega amable, colaborador activo, y siempre y sobre todo buen amigo. Por eso, permíteme que en algún momento acceda a aspectos más personales sobre ti. (shrink)

Los Salmanticen-ses fueron teólogos que enseña-ron en el Colegio universitario salmanticenses de los carmelitas descalzos durante el siglo XVII y primera parte del XVIII. A ellos se deben el “Cursus theologi-cus salmanticensis”, así como el “Cursus moralis salmanticensis”. El tratado de penitencia del Cur-sus theologicus salmanticensisestá dividido en dos partes bien diferenciadas, aunque íntima-mente relacionadas: 1. La peni-tencia como sacramento. 2. La penitencia como virtud. Resumi-mos aquí sobre todo lo que se refiere la Penitencia como sacra-mento. Nuestro método es analí-tico (...) y comparativo, y el objeto de nuestra investigación consiste en la síntesis, el análisis y el comen-tario de los textos más destaca-dos sobre la materia penitencial. (shrink)

El artículo presenta una síntesis comparativa de las aportaciones de dos autores hispanos sobre la Eucaristía: Domingo de Soto, perteneciente a la Escuela de Salamanca, y Juan de la Anunciación, teó- logo relevante de los Salmanticenses. Los dos autores representan la neoescolástica que predomina en Salamanca y, si bien los dos autores comentan a Santo Tomás, manifiestan también unas diferencias de interpretación y un progreso teoló- gico complementario, como puede apreciarse en sus tratados correspondientes sobre la Eucaristía.

El artículo ofrece una síntesis del planteamiento y explicación que ofrece Domingo de Soto sobre la “antropología sacramental”, a partir del comentario a la Suma Teológica de Santo Tomás. Se plantean diversas cuestiones, como: número, necesidad, jerarquía de los sacramentos, correspondencia de los mismos con las diversas situaciones o fases de la vida, así como con los distintos aspectos de la vida cristiana y eclesial: virtudes, vicios, dones, función, efectos…El autor concluye con unas consideraciones sobre lo que sería necesario plantearse (...) para actualizar hoy esta antropología, teniendo en cuenta los diversos cambios verificados al respecto. (shrink)

Wittgenstein distinguished between two uses of “I”, one “as object” and the other “as subject”, a distinction that Shoemaker elucidated in terms of a notion of immunity to error through misidentification (“IEM”); first-personal claims are IEM in the use “as subject”, but not in the other use. Shoemaker argued that memory judgments based on “personal”, episodic memory are not strictly speaking IEM; Gareth Evans disputed this. Similar issues have been debated regarding self-ascriptions of conscious thoughts based on first-personal awareness, in (...) the light of claims of “thought insertion” in schizophrenic patients. The paper aims to defend a Shoemaker-like line by critically engaging with some compelling recent contributions. Methodologically, the paper argues that to properly address these issues the all-inclusive term “thought” should be avoided, and specific types of thoughts countenanced. (shrink)

The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

Class, race and gender are three of the most salient factors in society. They determine to an important extent the opportunities we have, e.g. to access public.

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. Discussing the matter in connection with the status (...) of the Kripkean category of the contingent a priori, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. This paper appeals to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and argues that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...) DTL. To this end, we propose a notion of distributed transition system that will be used to specify the system to be verified. The properties that the system should meet are specified in DTL. In order to capture the models of these properties, we propose the notions of generalized distributed Büchi automaton and of distributed Büchi automaton. With these concepts, we are able to adapt results from automata-theoretic approaches to model checking in LTL to the distributed case. (shrink)